verification and control中文什么意思

• 查核与管制

• verification:    n. 1.证实，证明，确定；核验，验证，核对；检验，校验 ...
• control:    n. 1.支配，管理，管制，统制，控制；监督。 2.抑制 ...
• control verification:    控制检定
• access control verification:    存取控制检验
• arms control verification regime:    军备控制核查制度

例句与用法

1. 2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool
   当自动机当前状态为l时，转换l , g , r , l的使能条件是时钟变量的取值满足g ，而当转换发生之后， r中时钟的值被重置为0 。